Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism
Counting with Categories (Part 1)
golem.ph.utexas.edu·2d
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
Song recommendations from F# combinators
blog.ploeh.dk·2d
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·5h
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
Loading...Loading more...